Date: Tue, 10 Dec 1996 03:35:42 GMT
Server: NCSA/1.4.2
Content-type: text/html

<HEAD>
<TITLE>UW Cecil/Vortex Project Papers</TITLE>
</HEAD>
<BODY>
<H1>UW Cecil/Vortex Project Papers</H1>

    Click on a paper to go to that paper's page, containing an abstract and a link to the postscript file.
 <P>
<b>Hint for A4 users:</b> most papers are formatted for "US letter"
paper.  If your printer refuses to print a document, <!WA0><!WA0><a
href="http://www.cs.washington.edu/research/projects/cecil/www/Papers/a4.html">try this</a>.
<DL>

<DT><h3>Language Design Research</h3>
<DD> 
    <dl>
    <dt><!WA1><!WA1><a href="http://www.cs.washington.edu/research/projects/cecil/www/Papers/cecil-spec.html">The Cecil Language: Specification and Rationale, Version 2.0</a> (1995)
    <dd>Craig Chambers
    <p>

    <dt><!WA2><!WA2><a href="http://www.cs.washington.edu/research/projects/cecil/www/Papers/cecil-oo-mm.html">Object-Oriented Multi-Methods in Cecil</a> (ECOOP'92)
    <dd>Craig Chambers
    <p>

    <dt><!WA3><!WA3><a href="http://www.cs.washington.edu/research/projects/cecil/www/Papers/predicate-classes.html">Predicate Classes</a> (ECOOP'93)
    <dd>Craig Chambers
    <p>

    <dt><!WA4><!WA4><a href="http://www.cs.washington.edu/research/projects/cecil/www/Papers/mmtc.html">Typechecking and Modules for Multi-Methods</a> (TOPLAS'95)
    <dd>Craig Chambers and Gary Leavens
    </dd>

    </dl>

<DT> <h3>Language Implementation Research</h3>

<DD>
    <dl> 
    <dt><!WA5><!WA5><a href="http://www.cs.washington.edu/research/projects/cecil/www/Papers/auto-inlining.html">Towards Better Inlining Decisions Using Inlining Trials</a> (L&amp;FP'94)
    <dd>Jeffrey Dean and Craig Chambers
    <p>

    <dt><!WA6><!WA6><a href="http://www.cs.washington.edu/research/projects/cecil/www/Papers/dependencies.html">A Framework for Selective Recompilation
in the Presence of Complex Intermodule Dependencies</a> (ICSE'95)
    <dd>Craig Chambers, Jeffrey Dean, and David Grove
    <p>

    <dt><!WA7><!WA7><a href="http://www.cs.washington.edu/research/projects/cecil/www/Papers/specialize-pldi.html">Selective Specialization for Object-Oriented Languages</a> (PLDI'95)
    <dd>Jeffrey Dean, Craig Chambers, and David Grove
    <p>

    <dt><!WA8><!WA8><a href="http://www.cs.washington.edu/research/projects/cecil/www/Papers/hierarchy.html">Optimization of Object-Oriented Programs
Using Static Class Hierarchy Analysis</a> (ECOOP'95)
    <dd>Jeffrey Dean, David Grove, and Craig Chambers
    <p>

    <dt><!WA9><!WA9><a href="http://www.cs.washington.edu/research/projects/cecil/www/Papers/profiles.html">Profile-Guided Receiver Class Prediction</a> (OOPSLA'95)
    <dd>David Grove, Jeffrey Dean, Charles Garrett, and Craig Chambers

    <P>
    <dt> <!WA10><!WA10><a href="http://www.cs.washington.edu/research/projects/cecil/www/Papers/cascon95.html">The Impact of Interprocedural Class Analysis on Optimization</a> (CASCON'95)
    <dd> David Grove.

    <p>
    <dt><!WA11><!WA11><a href="http://www.cs.washington.edu/research/projects/cecil/www/Papers/whole-program.html">Whole-Program Optimization of Object-Oriented Languages</a> (1996)
    <dd>Craig Chambers, Jeffrey Dean, and David Grove

    <p>
    <dt> <!WA12><!WA12><IMG SRC="http://www.cs.washington.edu/research/projects/cecil/www/Papers/new.gif"><!WA13><!WA13><a href="http://www.cs.washington.edu/research/projects/cecil/www/Papers/hybrid.html">Vortex: An Optimizing Compiler for Object-Oriented Languages</a> (OOPSLA'96)
    <dd> Jeffrey Dean, Greg DeFouw, David Grove, Vassily Litvinov, and Craig Chambers

    <p>
    <dt><!WA14><!WA14><IMG SRC="http://www.cs.washington.edu/research/projects/cecil/www/Papers/new.gif"><!WA15><!WA15><a
href="http://www.cs.washington.edu/research/projects/cecil/www/Papers/engines.html">Frameworks
for Intra- and Interprocedural Dataflow Analysis</a> (1996)
    <dd>Craig Chambers, Jeffrey Dean, and David Grove

    <p>
    <dt><!WA16><!WA16><IMG SRC="http://www.cs.washington.edu/research/projects/cecil/www/Papers/new.gif"><!WA17><!WA17><a
href="http://www.cs.washington.edu/research/projects/cecil/www/Papers/jdean-thesis.html">Whole-Program Optimization of Object-Oriented Languages</a> (1996)
    <dd>Jeffrey Dean (Ph.D. Thesis)

    </dd>
    </dl>

<DT> <h3>Combinations of Language Design and Implementation Research</h3>

<DD>
    <dl> 
    <dt><!WA18><!WA18><a href="http://www.cs.washington.edu/research/projects/cecil/www/Papers/synergies.html">Synergies Between Object-Oriented Programming Language Design and Implementation Research</a> (ISOTAS'96)
    <dd>Craig Chambers

    </dd>
    </dl>

</DL>
<hr>
Return to the <!WA19><!WA19><a href="http://www.cs.washington.edu/research/projects/cecil/www/index.html">Cecil/Vortex home page</a>
</BODY>



<address>
Last updated November 14, 1996. <br>
cecil@cs.washington.edu <br>
</address>
</html>
